- syntactic consistence
- синтаксическая непротиворечивость
The New English-Russian Dictionary of Radio-electronics. F.V Lisovsky . 2005.
syntactic consistence
Смотреть что такое "syntactic consistence" в других словарях:
Hindley–Milner — In type theory, Hindley–Milner (HM) (also known as Damas–Milner or Damas–Hindley–Milner) is a classical type inference method with parametric polymorphism for the lambda calculus, first described by J. Roger Hindley[1] and later rediscovered by… … Wikipedia
